Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• FO
• Differential topology
• operator

An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki

Source URL: www.usenix.org

• Information and communications technology
• Computing
• Internet
• Internet privacy
• Computer networking
• File sharing
• Transport Layer Security
• Network performance
• Proxy server
• Computer network
• Internet censorship circumvention
• Transmission Control Protocol

An ISP-Scale Deployment of TapDance Sergey Frolov1 , Fred Douglas3 , Will Scott5 , Allison McDonald5 , Benjamin VanderSloot5 , Rod Hynes6 , Adam Kruger6 , Michalis Kallitsis4 , David G. Robinson7 , Steve Schultze2 , Niki

Source URL: benvds.com

• Information and communications technology
• Computing
• Internet
• Internet privacy
• Computer networking
• File sharing
• Transport Layer Security
• Network performance
• Proxy server
• Computer network
• Internet censorship circumvention
• Transmission Control Protocol

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker May 13, 2016 The Board will be in session during the Special Congre

Source URL: clark.ohioboe.com

Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a

Source URL: qav.comlab.ox.ac.uk

• Computational complexity theory
• Dynamic programming
• Markov processes
• Stochastic control
• Analysis of algorithms
• Markov decision process
• Reinforcement learning
• Time complexity
• PP
• Reachability

THE HISTORY OF STANDARD ML IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus)

Source URL: sml-family.org

• Software engineering
• Programming language theory
• Computing
• Functional languages
• Models of computation
• Procedural programming languages
• Christopher Strachey
• Control flow
• ISWIM
• PAL
• Fundamental Concepts in Programming Languages
• Peter Landin

Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation David Derler, Sebastian Ramacher, and Daniel Slamanig April 2017—FC 2017, Sliema, Malta

Source URL: david.derler.info

• Public-key cryptography
• Cryptography
• Homeomorphisms
• Homomorphic encryption
• Proxy re-encryption
• Digital signature
• Mathematics

CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez December 15, 2017 The Board wil

Source URL: clark.ohioboe.com

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez November 16, 2016 The Board will be

Source URL: clark.ohioboe.com

Generating compact MTBDD-representations from Probmela specifications Frank Ciesinski1 , Christel Baier1 , Marcus Gr¨oßer1 , David Parker2 1

Source URL: qav.comlab.ox.ac.uk